Automated reasoning - PDFSEARCH.IO - Document Search Engine

Automated reasoning
Results: 284

#	Item
211	Mediating between Qualitative and Quantitative Representations for Task-Orientated Human-Robot Interaction Add to Reading List Source URL: aaai.org Language: English - Date: 2007-01-30 17:18:13 Reasoning Automated planning and scheduling Planning Domain Definition Language Science Waypoint Robotics Spatial–temporal reasoning Planning Mobile robot Artificial intelligence Mind Knowledge representation
212	Automated generalisation of 1:10k topographic data from municipal data Dogan Altundag & Jantien Stoter Geo-Product and Process Innovation, Dutch Cadastre Add to Reading List Source URL: generalisation.icaci.org Language: English - Date: 2013-02-05 05:37:24 Thought Topography Geographic information system Planetary science Earth Science Cartography Generalization Inductive reasoning
213	Escape to ATP for Mizar Piotr Rudnicki∗ Josef Urban† University of Alberta Add to Reading List Source URL: pxtp2011.loria.fr Language: English - Date: 2011-08-12 05:51:25 Formal methods Automated theorem proving Mizar system QED manifesto Proof assistant Automated proof checking Automated reasoning Mizar and Alcor Mizar Theoretical computer science Mathematics Applied mathematics
214	Temporal Action Logic for Question Answering in an Adventure Game Martin MAGNUSSON and Patrick DOHERTY Department of Computer and Information Science Linköping University, [removed]Linköping, Sweden E-mail: {marma,patdo} Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:37:07 Reasoning Epistemology Artificial intelligence Knowledge representation Logic programming Automated theorem proving Reason Frame problem Natural deduction Logic Mathematical logic Science
215	Verifying space and time requirements for resource-bounded agents Natasha Alechina a Mark Jago a Piergiorgio Bertoli b Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-01-13 12:43:20 Logical truth Reasoning Automated theorem proving Logic programming Substitution Inference Logic Mathematical logic Propositional calculus
216	Logical Agents for Language and Action∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:13 Mathematics Artificial intelligence Logic in computer science Deduction Reasoning Reasoning system Fluent Magni Frame problem Automated theorem proving Science Logic
217	Comirit: Commonsense Reasoning by Integrating Simulation and Logic Benjamin JOHNSTON and Mary-Anne WILLIAMS Faculty of Information Technology, University of Technology, Sydney, Australia Abstract. Rich computer simulatio Add to Reading List Source URL: comirit.com Language: English - Date: 2012-04-27 22:26:08 Reasoning Automated theorem proving Artificial intelligence Non-classical logic Knowledge representation Method of analytic tableaux Reasoning system Semantic reasoner First-order logic Logic Mathematical logic Science
218	QAPL[removed]Verification of Resource Requirements of Distributed Reasoning Agents 1 Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib2 School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:10:29 Logic Automated theorem proving Agent-based model Complex systems theory Reasoning system Model checking Epistemic modal logic Algorithm Artificial intelligence Science Multi-agent systems
219	Logical Agents that Plan, Execute, and Monitor Communication∗ Martin Magnusson and David Land´en and Patrick Doherty Department of Computer and Information Science, Link¨oping University, Sweden {marma,davla,patdo}@i Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:34:41 Epistemology Reasoning Knowledge representation Logic programming Frame problem Reasoning system Automated planning and scheduling Fluent Unmanned aerial vehicle Artificial intelligence Science Knowledge
220	Abductive Reasoning with Filtered Circumscription∗ Martin Magnusson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,jo Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:10:07 Science Reasoning Automated theorem proving Deduction Knowledge representation Frame problem Event calculus Circumscription Yale shooting problem Logic Mathematical logic Logic programming

UPDATE